Use "sh -c pwd" when we want to avoid having the

shell fix up the value of $PWD.

diff --git a/configure1.in b/configure1.in
index 23cdd962141ced0418672fa5b2ea09c11b9cb14f..48883384d1567ed7371f934be72c7faf0cd0f033 100755 (executable)
--- a/configure1.in
+++ b/configure1.in
@@ -353,7 +353,7 @@ case "${srcdir}" in
   . )
     ## We may be able to use the $PWD environment variable to make this
     ## absolute.  But sometimes PWD is inaccurate.
-    if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; pwd)`" = "`pwd`" ] ; then
+    if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; sh -c pwd)`" = "`pwd`" ] ; then
       srcdir="$PWD"
     else
       srcdir="`(cd ${srcdir}; pwd)`"